Faire un don

Recherche : une preuve mathématique peut elle être consolidée grâce à l'informatique ?